Knihy od autora Natasha Sharygina

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Computer Aided Verification

   Natasha Sharygina, Helmut Veith | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-14 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2902 Kč

   Koupit
2. 

   Validation of Evolving Software

   Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-14 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1472 Kč

   Koupit
3. 

   Software Verification

   Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina | Springer Nature Switzerland AG, 2022

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-14 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1603 Kč

   Koupit
4. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Sriram Sankaranarayanan, Natasha Sharygina | Springer, Berlin, 2023

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-14 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1343 Kč

   Koupit
5. 

   Validation of Evolving Software

   Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-14 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1472 Kč

   Koupit
6. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Sriram Sankaranarayanan, Natasha Sharygina | Springer, Berlin, 2023

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-14 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1343 Kč

   Koupit

Expresní doručení do druhého dne jen za 54 Kč Zjistěte více